Subtype polymorphism - PDFSEARCH.IO - Document Search Engine

Subtype polymorphism
Results: 217

#	Item
151	1 Computing Surveys, Vol 17 n. 4, pp[removed], December 1985 On Understanding Types, Data Abstraction, and Polymorphism Luca Cardelli Add to Reading List Source URL: lucacardelli.name Language: English - Date: 2007-10-27 09:17:29 Programming language theory Data types Polymorphism Object-oriented programming Functional programming Subtype polymorphism Parametric polymorphism Ad-hoc polymorphism Type system Software engineering Type theory Computing
152	Microsoft Word - cohortcrossmatch.doc Add to Reading List Source URL: ache.alabama.gov Language: English - Date: 2013-04-29 12:33:44 Data types Trailer Software engineering Subtype polymorphism Header Computer data Computing Information technology management
153	Microsoft Word - cohortcrossmatch.doc Add to Reading List Source URL: www.ache.state.al.us Language: English - Date: 2013-04-29 12:33:44 Data types Trailer Software engineering Subtype polymorphism Header Computer data Computing Information technology management
154	PDF Document Add to Reading List Source URL: www.cdc.gov Language: English - Date: 2014-07-23 09:35:56 Molecular biology Public health laboratory Association of Public Health Laboratories Subtype polymorphism Salmonella Pulsed field gel electrophoresis Biology Centers for Disease Control and Prevention Pulsenet
155	NHDv2.2_poster_v8_062614.pdf Add to Reading List Source URL: nhd.usgs.gov Language: English - Date: 2014-07-02 15:06:48 Source code Type theory C++ C++ classes Null Constructor Relation C Subtype polymorphism Software engineering Computer programming Computing
156	ES[removed]V4[removed]Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language Add to Reading List Source URL: www.etsi.org Language: English - Date: 2014-06-17 08:01:57 Programming language theory Type theory C++ Software testing TTCN-3 TTCN Type system Subtype polymorphism C Software engineering Computing Data types
157	PDF Document Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2013-09-16 03:40:25 Data types Object-oriented programming Computer programming ECO Type safety Lambda calculus Null Subtype polymorphism Type system Software engineering Computing Type theory
158	Preface Preface Welcome — And Thank You! Thank you for choosing C++ For Artists: The Art, Philosophy, and Science of Object-Oriented Programming. You have selected an excellent book to augment your C++ and object-orien Add to Reading List Source URL: pulpfreepress.com Language: English - Date: 2004-09-13 16:25:30 Object-oriented programming Data types C++ Polymorphism Object-oriented design Generic programming Subtype polymorphism Pointer C Software engineering Computing Computer programming
159	Sage: Unified Hybrid Checking for First-Class Types, General Refinement Types, and Dynamic (Extended Report) Kenneth Knowles† Aaron Tomb† Add to Reading List Source URL: sage.soe.ucsc.edu Language: English - Date: 2007-05-25 12:49:26 Programming language theory Data types Type systems Formal methods Object-oriented programming Type safety Subtype polymorphism Simply typed lambda calculus Type inference Software engineering Type theory Computing
160	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: scheme2006.cs.uchicago.edu Language: English - Date: 2006-08-29 21:53:24 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory

UPDATE